함수형 프로그래밍 예문

• 처음으로 만들어진 함수형 프로그래밍 언어는 IPL이었다.
• 등 함수형 프로그래밍 언어에서 입출력 및 데이터 구조를 다룰 때 쓰인다.
• 어떤 함수형 프로그래밍 언어들은 모든 함수에 대해 참조 투명성을 강제하기도 한다.
• 다시 말하면, 컴퓨팅 파워가 계속 좋아지면 어떻게 해서든 함수형 프로그래밍 쪽으로 갈 거란 말이됩니다.
• 커먼 리스프는 함수형 프로그래밍 뿐 아니라 절차형 프로그래밍, 객체 지향 프로그래밍 등 다양한 패러다임을 지원한다.
• 패러다임에 기반한 증명 보조자이며, Coq 와 달리 별도의 전술 언어가 아니고 증명은 함수형 프로그래밍 체계로 작성된다.
• 함수형 프로그래밍 언어에서는 프로그래머가 명시적으로 썽크를 생성할 수도 있는데, 함수를 호출할 때 인수로 전달할 식 전체를 익명 함수로 감싸서 전달해주면 된다.
• 이 책은 코틀린의 기본을 알고 있으면서 함수형 프로그래밍 이면의 기본 아이디어를 이해하고 실용적으로 사용하는 방법을 알고 싶은 코틀린 유저를 위한 것이다.